Ferebee, Ann S.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Chomsky Noam. Aspects of the theory of syntax. A paperbound edition of XXXII 385. The M.I.T. Press, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1969, x + 251 pp.

Ferebee, Ann S.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 90 KB

english, 1970

2

A Theory of Formal Deducibilityby Haskell B. Curry

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 209 KB

english, 1969

3

The Connection between Hilbert's Tenth Problem and Systems of Equations between Words and Lengths.by Yu. V. Matiyasevich; A. O. Slisenko

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 111 KB

english, 1972

4

Boolean Representation Through Propositional Calculus.by L. Henkin;Remarks on Henkin's Paper: Boolean Representation Through Propositional Calculus.by J. Łoś

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 113 KB

english, 1973

5

Diophantine Representation of the Set of Prime Numbers.by Ju. V. Matijasevič; R. N. Gross

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 141 KB

english, 1972

6

Problema algoritma (Problem of Algorithm)by S. I. Adán

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 200 KB

english, 1971

7

Venn Diagrams. History and Applications.by A. S. Kuzičév

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 106 KB

english, 1975

8

On the Unsolvability of some problems in topology.by A. Markov

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 217 KB

english, 1972

9

Advanced Calculusby Lynn H. Loomis; Shlomo Sternberg

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 302 KB

english, 1968

10

On the Cut Operation in Gentzen Calculiby Kiyoshi Iséki

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 197 KB

english, 1971

11

Abstract Sets and Finite Ordinals. An Introduction to the Study of Set Theoryby G. B. Keene

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 200 KB

english, 1971

12

Introduction to Metamathematicsby Stephen Cole Kleene

Review by: Ann Singleterry Ferebee

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 329 KB

english, 1968

13

A Theorem on Productive Functions.by T. G. McLaughlin

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 223 KB

english, 1972

14

Introduction to Formal Grammarsby M. Gross; A. Lentin

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 249 KB

english, 1971

15

Use of Bed Rest and Head-Down Tilt to Simulate Spaceflight-Induced Immune System Changes

SCHMITT, DIDIER A., SCHAFFAR, LAURANCE, TAYLOR, GERALD R., LOFTIN, KARIN C., SCHNEIDER, VICTOR S., KOEBEL, ANNE, ABBAL, MICHEL, SONNENFELD, GERALD, LEWIS, DOROTHY E., REUBEN, JAMES R., FEREBEE, ROBERT

Journal:

Journal of Interferon & Cytokine Research

Year:

1996

Language:

english

File:

PDF, 1.09 MB

english, 1996

16

Two Reductions of Hilbert's Tenth Problem.by Yu. V. Matiyasevich; A. O. Slisenko

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 178 KB

english, 1972

17

Arithmetic Representations of Powers.by Yu. V. Matiyasevich; A. O. Slisenko

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 130 KB

english, 1972

18

Algorithmic Properties of Structuresby Erwin Engeler

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 217 KB

english, 1972

19

[untitled]

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 127 KB

english, 1972

20

La Teoria de Reticulos y su Aplicación a la Lógica Matemática.by Hans Hermes

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 333 KB

english, 1971

21

A Generalization of the Structure of the Sentential Calculusby Dennis Spellman

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 349 KB

english, 1969

22

Logic, Automata, and Algorithms.by Marc A. Aiserman; Leonid A. Gusev; Lev I. Rozonoer; Irina M. Smirnova; Aleksey A. Tal; George M. Kranc

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 140 KB

english, 1972

23

Matijasevič Ju. V.. Diophantine representation of recursively enumerable predicates. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 171–177.

Ferebee, Ann S.

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 96 KB

english, 1972

24

Algebraic Simplification of Redundant Sequential Circuits.by Frederic B. Fitch

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 81 KB

english, 1975

25

Kourovskaá tétrad' (néréšénnyé zadači téorii grupp): Kourovsk Exercise Bookby M. I. Kargapolov; Ú. I. Mérzlákov; V. N. Réméslénnikov

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 214 KB

english, 1970

26

On a Proof of Completeness in Pkof Simultaneous Functions$k - 2, \sim x, x_1 \supset x_2$.by V. I. Klévačév

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 108 KB

english, 1975

27

The Philosophy of Bertrand Russellby Paul Arthur Schilpp

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 334 KB

english, 1969

28

Il Calcolo delle Proposizioniby Giuseppe Vaccarino

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 217 KB

english, 1969

29

K axiomatisaci trojhodnotové výrokové logiky (On the Axiomatization of Three-Valued Propositional Logic).by Miroslav Mleziva

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 191 KB

english, 1970

30

Estimate of the Number of Covers of the n-Dimensional Cube.by V. I. Kolpakov

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 138 KB

english, 1972

31

On the Equivalent Transformations of Switching Circuitsby V. L. Murskii;Equivalent Tranformations of Contact-Rectifier Schemesby V. L. Murskii

Review by: Ann Singleterry Ferebee

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 211 KB

english, 1968

32

Automata, Formal Languages, Abstracts Switching, and Computability in a Ph.D. Computer Science Programby Robert McNaughton

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 206 KB

english, 1969

33

Heidler Klaus, Hermes Hans, and Friedrich-K. Mahn. Rekursive Funktionen. Bibliographisches Institut-Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1977, vii + 236 pp.

Ferebee, Ann S.

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 327 KB

english, 1981

34

The Shortest Axioms of the Implicational Calculus.by Richard Tursman;Final Word on a Shortest Implicational Axiom.by Ivo Thomas

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 99 KB

english, 1971

35

Truth-Functional Perturbationsby Jason Xenakis

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 208 KB

english, 1971

36

Mathematics Dictionary.by Glenn James; Robert C. James;James & James Mathematics Dictionary.by Robert C. James; Edwin F. Beckenbach

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 378 KB

english, 1973

37

Law, Logic, and Rationality.by Charles K. Cobb, Jr.; Daniel P. Thompson

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 107 KB

english, 1972

38

Effect of Population Mobility on the Location of Communal Shelters

Alexander, Michael N., Ferebee, J. Brooks, Grim, Paul J., Lebow, Leonard S., Senturia, Stephen D., Singleterry, Ann M.

Journal:

Operations Research

Year:

1958

Language:

english

File:

PDF, 1.28 MB

english, 1958

39

A Mathematical Theory for the Synthesis of Contact Networks with One Inpu and k Outputs.by G. N. Povarov

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 123 KB

english, 1973

40

The Paradox of Counter-Conditional and its Dissolution.by Ron Klinger

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 107 KB

english, 1972

41

The Missing Premiss.by Alex Blum

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 106 KB

english, 1971

42

A Boolean Algebra Abstract and Concrete.by A. P. Bowran

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 101 KB

english, 1971

43

Postulates for Boolean Algebrasby Marlow Sholander

Review by: Ann Singleterry Ferebee

Journal:

Journal of Symbolic Logic

Year:

1968

File:

PDF, 195 KB

1968

44

The Carrollian Matrix.by Elvin Rasof

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 106 KB

english, 1971

45

Computational aids for Determining the Minimal Form of a Truth Functionby Ronald Prather

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 202 KB

english, 1968

46

Einführung in die Mathematische Logik.by G. Asser

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1968

File:

PDF, 196 KB

1968

47

Extensions of Some Theorems of Schmidt and McKinsey, I.by Alan Rose

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 99 KB

english, 1971

48

Effect of Population Mobility on the Location of Communal Shelters

Michael N. Alexander, J. Brooks Ferebee, Paul J. Grim, Leonard S. Lebow, Stephen D. Senturia and Ann M. Singleterry

Journal:

Operations Research

Year:

1958

Language:

english

File:

PDF, 817 KB

english, 1958

49

On Recursive Isomorphismby A. B. Hutoréckij

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 208 KB

english, 1969

50

Aspects of the Theory of Syntaxby Noam Chomsky

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 211 KB

english, 1970

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски